Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
231	Microsoft Word - logiciels-en.doc Add to Reading List Source URL: www-hpc.cea.fr Language: English - Date: 2010-02-10 08:42:28 Electronic design automation Scientific modeling Computational science Numerical software Operations research Simulation Computer simulation Mathematica Logic simulation Mathematical software Science Application software
232	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 5 Complexity of Problems on Graphs Represented as OBDDs Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-12 16:14:35 Boolean algebra Complexity classes Logic in computer science Binary decision diagram Model checking Boolean function Boolean circuit Circuit FO Theoretical computer science Mathematics Computational complexity theory
233	PHIL 110A Week 8: Time Add to Reading List Source URL: cogsci.uwaterloo.ca Language: English - Date: 2014-03-03 11:11:58 Logic Neural networks Neuroscience Branches of philosophy Horology Time Modal logic Neural coding Causality Science Physics Computational neuroscience
234	1 Efficient Reasoning about Data Trees via Integer Linear Programming CLAIRE DAVID, Universit´e Paris-Est LEONID LIBKIN, University of Edinburgh TONY TAN, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 14:06:25 Electronic design automation Formal methods Logic in computer science NP-complete problems Complexity classes Satisfiability Modulo Theories Symbol Boolean satisfiability problem P-complete Theoretical computer science Computational complexity theory Applied mathematics
235	Theoretical Computer Science–2 www.elsevier.com/locate/tcs Preface This special volume contains the revised and expanded version of nine of the 28 Add to Reading List Source URL: www-alg.ist.hokudai.ac.jp Language: English - Date: 2014-03-14 14:24:09 Science Knowledge Inductive inference Inductive reasoning Inference Statistical inference Algorithmic learning theory Learnability Logic programming Computational learning theory Theoretical computer science Applied mathematics
236	Elements of a Computational Theory of Location Werner Kuhn Institute for Geoinformatics University of Münster Robert-Koch-Str, DMünster, Germany Tel. +, Fax + Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2005-02-27 17:00:00 Logic Information science Knowledge representation Technical communication Cartography Mereology Ontology Web Ontology Language Localization Semantic Web Science Information
237	APPLICATION FORM Applicant Number EUROPEAN MASTER’S PROGRAM IN COMPUTATIONAL LOGIC Add to Reading List Source URL: ssdi.di.fct.unl.pt Language: English - Date: 2008-03-25 17:39:57 Public-key cryptography Academic certificate Electronic commerce Key management Public key certificate
238	Relieving the Computational Bottleneck: Joint Inference for Event Extraction with High-Dimensional Features Deepak Venugopal and Chen Chen and Vibhav Gogate and Vincent Ng Department of Computer Science and Human Languag Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-08-27 12:24:20 Knowledge Computational linguistics Speech recognition Reasoning Arguments N-gram Support vector machine Inference Markov logic network Logic Science Logical consequence
239	Exponential Lower Bounds for AC0 -Frege Imply Superpolynomial Frege Lower Bounds Yuval Filmus1 ? , Toniann Pitassi1 ? , and Rahul Santhanam2 1 University of Toronto, yuvalf, Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-06-22 20:53:40 Logic in computer science Automated theorem proving Frege system Propositional calculus Computational complexity theory Proof complexity Function Gottlob Frege Mathematical proof Mathematics Theoretical computer science Mathematical logic
240	Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds∗ Yuval Filmus University of Toronto Massimo Lauria Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-05-06 19:14:13 Computational complexity theory Conjunctive normal form Proof complexity PP IP Polynomial Boolean algebra Frege system MAX-3SAT Theoretical computer science Applied mathematics Logic in computer science

UPDATE